翻訳と辞書
Words near each other
・ Acmispon rigidus
・ Acmispon strigosus
・ Acmispon wrangelianus
・ Acmocera
・ Acmocera compressa
・ Acmocera conjux
・ Acmocera flavoguttata
・ Acmocera inermis
・ ACM Multimedia
・ ACM Queue
・ ACM SIGACT
・ ACM SIGGRAPH
・ ACM SIGLOG
・ ACM SIGUCCS Hall of Fame Award
・ ACM SIGWEB
ACM Software System Award
・ ACM Symposium on User Interface Software and Technology
・ ACM Transactions on Algorithms
・ ACM Transactions on Computational Logic
・ ACM Transactions on Computer-Human Interaction
・ ACM Transactions on Database Systems
・ ACM Transactions on Graphics
・ ACM Transactions on Information Systems
・ ACM Transactions on Mathematical Software
・ ACM Transactions on Multimedia Computing, Communications, and Applications
・ ACM Transactions on Programming Languages and Systems
・ ACM Transactions on Software Engineering and Methodology
・ ACM/IEEE Supercomputing Conference
・ ACM/IEEE Virtual Reality International Conference
・ ACMA


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

ACM Software System Award : ウィキペディア英語版
ACM Software System Award

The ACM Software System Award is an annual award that honors people or an organization ''"for developing a software system that has had a lasting influence, reflected in contributions to concepts, in commercial acceptance, or both"''. It is awarded by the Association for Computing Machinery (ACM) since 1983, with a cash prize sponsored by IBM of currently $35,000.
== Recipients ==
The following is a list of recipients of the ACM Software System Award:〔
* 2013 - Coq: Thierry Coquand, Gérard Huet, Christine Paulin-Mohring, Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin, Chet Murthy, Yves Bertot and Pierre Castéran
* 2012 - LLVM: Vikram S. Adve, Evan Cheng and Chris Lattner
* 2011 - Eclipse: John Wiegand, Dave Thomson, Gregory Adams, Philippe Mulet, Julian Jones, John Duimovich, Kevin Haaland, Stephen Northover, and Erich Gamma
* 2010 – GroupLens Collaborative Filtering Recommender Systems: Peter Bergstrom, Lee R. Gordon, Jonathan L. Herlocker, Neophytos Iacovou, Joseph A. Konstan, Shyong (Tony) K. Lam, David Maltz, Sean M. McNee, Bradley N. Miller, Paul J. Resnick, John T. Riedl, Mitesh Suchak
* 2009 - VMware Workstation for Linux 1.0: Edouard Bugnion, Scott Devine, Mendel Rosenblum, Jeremy Sugerman, Edward Y. Wang
* 2008 - Gamma Parallel Database System: David DeWitt, Robert Gerber, Murali Krishna, Donovan Schneider, Shahram Ghandeharizadeh, Goetz Graefe, Michael Heytens, Hui-I Hsiao, Jeffrey Naughton, Anoop Sharma
* 2007 - Statemate: David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Mark Trakhtenbrot, Aron Trauring
* 2006 - Eiffel: Bertrand Meyer
* 2005 - The Boyer-Moore Theorem Prover: Robert S. Boyer, Matt Kaufmann, J Strother Moore
* 2004 - Secure Network Programming: Raghuram Bindignavle, Simon S. Lam, Shaowen Su, Thomas Y. C. Woo
* 2003 - make: Stuart Feldman
* 2002 - Java: James Gosling
* 2001 - SPIN model checker: Gerard Holzmann
* 1999 - The Apache Group: Brian Behlendorf, Roy Fielding, Rob Hartill, David Robinson, Cliff Skolnick, Randy Terbush, Robert S. Thau, Andrew Wilson
* 1998 - S: John Chambers
* 1997 - Tcl/Tk: John Ousterhout
* 1995 - NCSA Mosaic: Marc Andreessen, Eric Bina
* 1995 - World Wide Web: Tim Berners-Lee, Robert Cailliau
* 1994 - Remote Procedure Call: Andrew Birrell, Bruce Nelson
* 1993 - Sketchpad: Ivan Sutherland
* 1992 - Interlisp: Daniel Bobrow, Richard R. Burton, L. Peter Deutsch, Ronald Kaplan, Larry Masinter, Warren Teitelman
* 1991 - TCP/IP: Vinton G. Cerf, Robert E. Kahn
* 1990 - NLS: Douglas C. Engelbart, William English, Jeff Rulifson
* 1989 - PostScript: Douglas K. Brotz, Charles M. Geschke, William H. Paxton, Edward A. Taft, John E. Warnock
* 1988 - INGRES: Gerald Held, Michael Stonebraker, Eugene Wong
* 1988 - System R: Donald Chamberlin, Jim Gray, Raymond Lorie, Gianfranco Putzolu, Patricia Selinger, Irving Traiger
* 1987 - Smalltalk: Adele Goldberg, Daniel Henry Holmes Ingalls, Jr., Alan C. Kay
* 1986 - TeX: Donald E. Knuth
* 1985 - VisiCalc: Dan Bricklin, Bob Frankston
* 1984 - Xerox Alto: Butler W. Lampson, Robert Taylor, Charles P. Thacker
* 1983 - UNIX: Dennis Ritchie, Ken Thompson

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「ACM Software System Award」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.